F-coalgèbre
En mathématiques, et plus particulièrement en théorie des catégories, une F-coalgèbre est une structure définie par rapport à un foncteur F. La notion de F-coalgèbre possède des applications en informatique, notamment pour l'évaluation paresseuse, pour les structures de données infinies comme les flux ou pour les systèmes transitionnels.